Nuprl Lemma : es-causl-locl 11,40

the_es:ES, ee':E. (e < e' (loc(e) = loc(e' Id)  (e <loc e'
latex


Definitionsx:AB(x), P  Q, t  T, , P & Q, P  Q, P  Q, A, False, Trans(T;x,y.E(x;y))
Lemmases-axioms, es-causal-antireflexive, Id wf, es-loc wf, es-causl wf, es-E wf, event system wf

origin